$\forall$$i$:Id, $k$:Knd. hasloc($k$; $i$) $\in$ $\mathbb{B}$